1. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
2. Metadata and semantic research :
پدیدآورنده : Fabio Sartori, Miguel Ángel Sicilia, Nikos Manouselis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Metadata, Congresses.,Semantic computing, Congresses.,Semantic Web, Congresses.,COMPUTERS-- Online Services.,COMPUTERS-- System Administration-- Storage & Retrieval.,Informatique.,Metadata.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
.
I584
2009eb
3. Reuse in emerging software engineering practices :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Reusability ; Congresses. ;
4. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
5. Safe and secure software reuse :
پدیدآورنده : John Favaro, Maurizio Morisio (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Reusability -- Congresses.,Computer software -- Reusability.,Software engineering -- Congresses.
رده :
QA76
.
76
.
R47
J646
2013
6. Third International Conference on Software Reuse: Advances in Software Reusability : proceedings, November 1-4, 1994, Rio de Janeiro, Brazil
پدیدآورنده : edited by William B. Frakes ; sponsored by IEEE Computer Society Technical Council on Software Engineering, Sociedade Brasileira de Computacao )SBC( ; in cooperation with Association for Computing Machinery
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Reusability - Congresses
رده :
QA
76
.
76
.
R47
I587
1994
7. Top productivity through software reus
پدیدآورنده : Klaus Schmid (ed.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer software, Reusability, Congresses
رده :
QA
،
76
.
76
،.
R47
